Logical Aspects of Quantum (Non-)Individuality
نویسندگان
چکیده
منابع مشابه
Logical Aspects of Quantum (Non-)Individuality
In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the dis...
متن کاملWhy non-individuality? A discussion on individuality, identity, and cardinality in the quantum context
Recently, in the debate about the ontology of quantum mechanics some authors have defended the view that quantum particles are individuals in a primitive sense, so that individuality should be preferred over non-individuality (the alternative option). Primitive individuality involves two main claims: i) every item is identical with itself and ii) it is distinct from every other item. Non-relati...
متن کاملLogical aspects of logical frameworks
This thesis provides a model–theoretic semantic analysis of aspects of the LF logical framework. The LF logical framework is the λΠ-calculus together with the judgements-as-types representation mechanism. A denotational semantics is provided for the λΠ-calculus in terms of Kripke λΠ-models. These are a generalization of the Kripke lambda models of Mitchell and Moggi to dependent types and are b...
متن کاملStructure, Individuality and Quantum Gravity
After reviewing various interpretations of structural realism, I adopt here a definition that allows both relations between things that are already individuated (which I call “relations between things”) and relations that individuate previously un-individuated entities (”things between relations”). Since both space-time points in general relativity and elementary particles in quantum theory fal...
متن کاملThe Mathematics of Non-Individuality
“The development of the foundations of physics in the twentieth century has taught us a serious lesson. Creating and understanding these foundations turned out to have very little to do with the epistemological abstractions which were of such importance to the twentieth century critics of the foundations of mathematics: finiteness, consistency, constructibility, and, in general, the Cartesian n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Science
سال: 2010
ISSN: 1233-1821,1572-8471
DOI: 10.1007/s10699-009-9169-8